Modular Self-stabilization of Network Protocols A case-study in O'Haskell
نویسنده
چکیده
منابع مشابه
Distributed verification and Self-stabilization of a DFS Tree
It is a common practice in distributed systems to compute and maintain distributed data structures such as a spanning tree of the network, which can be used by many other algorithms. Corruption of these data structures can cause the protocols that use them to behave incorrectly. A DFS (Depth First Search) spanning tree of a network is one such structure which is very used in various routing pro...
متن کاملStrategy-aligned fuzzy approach for market segment evaluation and selection: a modular decision support system by dynamic network process (DNP)
In competitive markets, market segmentation is a critical point of business, and it can be used as a generic strategy. In each segment, strategies lead companies to their targets; thus, segment selection and the application of the appropriate strategies over time are very important to achieve successful business. This paper aims to model a strategy-aligned fuzzy approach to market segment ev...
متن کاملFixed point theorem for non-self mappings and its applications in the modular space
In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...
متن کاملDevelopment of a weighted leanness measurement method in modular construction companies
This paper outlines the development of an improved approach to the use of lean tools and techniques to improve the performance of manufacturing enterprises. Several research studies attempt to measure the overall leanness score of the manufacturing process; however, they failed to consider the interdependent relationships between lean performance metrics and considered all performance measures ...
متن کاملSelf-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network
In this paper, we compare the two fault tolerant approaches: self-stabilization and robust self-stabilization, and we investigate their performances in dynamic networks. We study the behavior of four clustering protocols; two self-stabilizing GDMAC and BSC, and their robust self-stabilizing version R-GDMAC and R-BSC. The performances of protocols are compared in terms of their cluster-heads num...
متن کامل